SmartDEMAP: A Smart Contract Deployment and Management Platform
نویسندگان
چکیده
Smart contracts on a blockchain behave exactly as specified by their code. To be sure that a smart contract behaves as expected, the end-user has to either analyze its code or trust a potentially anonymous developer or auditor to do so. This approach proposes a smart contract deployment and management platform that can execute development tools and code quality tools in a trusted way and uses this to reduce the trust required into the smart contract developer or auditor. Additionally, such a platform can provide new capabilities for developers aiding them in the creation of smart contracts.
منابع مشابه
Automata modulo Theory ( Amt )
With the advent of the next generation java servlet on the smartcard, the Future Internet will be composed by web servers and clients silently yet busily running on high end smart cards in our phones and our wallets. In this new world model we can no longer accept the current security model where programs can be downloaded on our machines just because they are vaguely “trusted”. We want to know...
متن کاملProviding the Model of Deployment of Smart Services in Iranian Health Sector: A Qualitative Study
Background and Aim: Due to the importance and position of the health sector in society and consideration of industry 4.0 during these days, we witness an increase in the spread of state-of-the-art (smart) technologies in various fields, on one hand, and an evolutionary development by integrating healthcare and technology, on the other hand. Thus, the application of smart technologies can help t...
متن کاملCan We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract?
Java card technology have progressed at the point of running web servers and web clients on a smart card. Yet concrete deployment of multi-applications smart cards have remained extremely rare because the business model of the asynchronous download and update of applications by different parties requires the control of interactions among possible applications after the card has been fielded. Ye...
متن کاملNovel paradigms for advanced distribution grid energy management
The electricity distribution grid was not designed to cope with load dynamics imposed by high penetration of electric vehicles, neither to deal with the increasing deployment of distributed Renewable Energy Sources. Distribution System Operators (DSO) will increasingly rely on flexible Distributed Energy Resources (flexible loads, controllable generation and storage) to keep the grid stable and...
متن کاملNovel paradigms for advanced distribution grid energy management Nouveaux paradigmes pour la gestion avancée des réseaux de distribution d’électricité
The electricity distribution grid was not designed to cope with load dynamics imposed by high penetration of electric vehicles, neither to deal with the increasing deployment of distributed Renewable Energy Sources. Distribution System Operators (DSO) will increasingly rely on flexible Distributed Energy Resources (flexible loads, controllable generation and storage) to keep the grid stable and...
متن کامل